🐚 Shell Monads - matmat · Scour

Show HN: Procjail – Building a process isolator in Go using Linux namespaces

emmanuel326.github.io·5h·

Discuss: Hacker News

🐚Bash Monads

Functional Logic Program Transformations

arxiv.org·14h

🔗Functional Compilers

The Helpful Adversary

dev.to·18h·

Discuss: DEV

🐚Shell Combinators

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·3h·

Discuss: Hacker News

🔒Type Safety

Why not tail recursion?

futhark-lang.org·1d·

Discuss: Lobsters, Hacker News

💻Programming languages

On the way to step functions: the two worlds

blog.julik.nl·1d

🐚Shell Calculus

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

📊Static Analysis

Simplex, a workflow specification language for autonomous agents

github.com·22h·

Discuss: Hacker News

Pavis: A Dumb Proxy for Boring Reloads

fabian4.site·3h·

Discuss: Hacker News

🦀Rust Borrowing

IPAB Workshop - 22/1/26 | IPAB

informatics.ed.ac.uk·9h

abelianization of an additive category in nLab

ncatlab.org·2h

🧮Algebraic Archives

BPF Verifier State Pruning: Timeline

pchaigno.github.io·1d

🛡️Archive Verification

Alexis King’s Blog

lexi-lambda.github.io·1d

🎯Gradual Typing

Designing a Programming Language for the Desert

futhark-lang.org·3h·

Discuss: Hacker News

🔗Functional Compilers

Welcome 0x1eef (Robert) to the HardenedBSD Development Team!

hardenedbsd.org·2h

Red Macros Factory Is Joining OST (And So Am I!)

outflank.nl·3h

🦀Rust Macros

Failing to run ‘pubstrate’ in a container

opinionatedgeek.com·1d

🐚Bash Monads

Making an LSP for great good

thunderseethe.dev·19h·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites

dev.to·5h·

Discuss: DEV

🦀Embedded Rust

Using Haskell in Production

agentultra.com·16h

🔗Functional Compilers

Loading more...